LCLint 2.0 --- 28 Feb 96 palindrome.c: (in function isPalindrome) palindrome.c:6,29: Cast from underlying abstract type mstring: (char *)s An abstraction barrier is broken. If necessary, use /*@access @*/ to allow access to an abstract type. Use -abstract to suppress message. palindrome.c:7,31: Function strlen expects arg 1 to be char * gets mstring: s Underlying types match, but mstring is an abstract type that is not accessible here. palindrome.c:11,27: Array fetch from non-array (mstring): s[len - i - 1] Types are incompatible. Use -type to suppress message. palindrome.c: (in function callPal) palindrome.c:19,26: Function isPalindrome expects arg 1 to be mstring gets char *: "bob" Underlying types match, but mstring is an abstract type that is not accessible here. Finished LCLint checking --- 4 code errors found